\begin{tabbing}
kind{-}send{-}frame(${\it es}$;$i$;$k$;$L$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$e$:es{-}E(${\it es}$).\+
\\[0ex]($\uparrow$es{-}isrcv(${\it es}$; $e$))
\\[0ex]$\Rightarrow$ (es{-}loc(${\it es}$; es{-}sender(${\it es}$; $e$)) = $i$ $\in$ Id)
\\[0ex]$\Rightarrow$ (es{-}kind(${\it es}$; es{-}sender(${\it es}$; $e$)) = $k$ $\in$ Knd)
\\[0ex]$\Rightarrow$ (es{-}lnk(${\it es}$; $e$) $\in$ $L$ $\in$ IdLnk)
\-
\end{tabbing}